Nuprl Definition : set_car 13,42
|p| == p.1 
latex

Upposet sig object directory
Wellformedness Lemmasset car wf
Definitionst.1

origin